Papers with logic-based method
Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference (2020.starsem-1)
Copied to clipboard
| Challenge: | a logic-based approach to Natural Language Inference is becoming less and less common . a new method uses semantic relations to abduct sentences from data . |
| Approach: | They propose a method to reverse a theorem-proving procedure to abduct semantic relations from data. |
| Outcome: | The proposed method improves the performance of the theorem prover on the SICK dataset by 1.4% while maintaining high precision (>94%) |